Análisis de terminación de reglas, un enfoque con red de Petri

Authors: Joselito Medina Marín, Xiaoou Li

Research in Computing Science, Vol. 2, pp. 56-67, 2003.

PDF: Análisis de terminación de reglas, un enfoque con red de Petri
PDF: Análisis de terminación de reglas, un enfoque con red de Petri